Forcing under Anti-Foundation Axiom: An expression of the stalks
نویسندگان
چکیده
منابع مشابه
Forcing under Anti-Foundation Axiom: An expression of the stalks
We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel’s AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman’s method of defining the extensional membership relation ∈ by means of ...
متن کاملThe Bounded Axiom A Forcing Axiom
We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).
متن کاملThe Proper Forcing Axiom
The Proper Forcing Axiom is a powerful extension of the Baire Category Theorem which has proved highly effective in settling mathematical statements which are independent of ZFC. In contrast to the Continuum Hypothesis, it eliminates a large number of the pathological constructions which can be carried out using additional axioms of set theory. Mathematics Subject Classification (2000). Primary...
متن کاملKripke-Platek Set Theory and the Anti-Foundation Axiom
The paper investigates the strength of the Anti-Foundation Axiom, AFA, on the basis of Kripke-Platek set theory without Foundation. It is shown that the addition of AFA considerably increases the proof theoretic strength. 1. Introduction Intrinsically circular phenomena have come to the attention of researchers in diiering elds such as mathematical logic, computer science, artiicial intelligenc...
متن کاملThe Anti-foundation Axiom in Constructive Set Theories
The paper investigates the strength of the anti-foundation axiom on the basis of various systems of constructive set theories. 1. Introduction Intrinsically circular phenomena have come to the attention of researchers in diiering elds such as mathematical logic, computer science , artiicial intelligence, linguistics, cognitive science, and philosophy. Logicians rst explored set theories whose u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2006
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200410060